🔄 Protocol State Machines - abnv · Scour

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·16h

📈Monotonic Logic

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·1d

📚Forth Compilers

Høiland-Jørgensen: The inner workings of TCP zero-copy

lwn.net

·13h

📡Binary Protocols

Verifier-Bound Communication for LLM Agents: Certified Bounds on Covert Signaling

arxiv.org·4h

📡Binary Protocols

Why We Built (and Open-Sourced) a New RoughTime Implementation

blog.sturdystatistics.com·8h·

Discuss: r/programming

📦Message Serialization

Verification of Unbounded Client-Server Systems with Distinguishable Clients

arxiv.org·4d

🤝Session Protocols

Understanding the A2A Protocol for Agentic AI in Network Operations

networkphil.com·17h

🔐Capability Protocols

Error Handling Strategies for Probabilistic Code Execution

sitepoint.com·14h

🚂Error Propagation

Coordination Computation Class: Necessary Conditions for Bounded Multi-Agent Semantics

dev.to·1d·

Discuss: DEV

🔀Concurrency Models

The 185-Microsecond Type Hint

blog.sturdystatistics.com·11h·

Discuss: Lobsters, Hacker News, r/programming

⚡Interpreter Optimization

The Mirror World Protocol: Why A/B Testing is Obsolete

pub.towardsai.net

·20h

📡Protocol Buffers

Guidelines for Writing Cryptography Specifications

cfrg.github.io·10h·

Discuss: Hacker News

🛡️Security Type Systems

Neat representation of polymorphic data types

gist.github.com·1h·

Discuss: r/C_Programming

🧮Combinator Calculus

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

papers.cool·1d

🎲Property Testing

Event-triggered robust optimal control for networked multiplayer system

sciencedirect.com·1d

📡Async Channels

An AI Odyssey, Part 1: Correctness Conundrum

johndcook.com·7h

🚂Error Propagation

Realizing protocols' true value

thoughtworks.com·3d

📡Protocol Stacks

Main differences with iptables

wiki.nftables.org·2d

🌍HTTP Servers

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·11h·

Discuss: Hacker News

🤐Zipper Structures

RDMA Point-to-Point Communication for LLM Systems

research.perplexity.ai·12h

🌱Green Threads

Loading more...